Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities
نویسندگان
چکیده
A complete method is proposed to compute a certified, or ambient isotopic, meshing for an implicit algebraic surface with singularities. By certified, we mean a meshing with correct topology and any given geometric precision. We propose a symbolic-numeric method to compute a certified meshing for the surface inside a box containing singularities and use a modified Plantinga-Vegter marching cube method to compute a certified meshing for the surface inside a box without singularities. Nontrivial examples are given to show the effectiveness of the algorithm (see Fig. 1). To our knowledge, this is the first method to compute a certified meshing for surfaces with singularities.
منابع مشابه
Meshing implicit algebraic surfaces: the smooth case
In this paper, we present a new algorithm to mesh surfaces defined by an implicit equation, which is able to isolate the singular points of the surface, to guaranty the topology in the smooth part, while producing a number of linear pieces, related to geometric invariants of the surface. We prove its termination and correctness and give complexity bounds, based on entropy analysis. The method a...
متن کاملMeshing implicit surfaces with certified topology
We describe a new algorithm for building piecewise linear approximations of an implicit surface. This algorithm is the first one guaranteeing that the implicit surface and its approximation are isotopic. Key-words: implicit surfaces, meshing, Morse theory INRIA † INRIA ‡ Rijksuniversiteit Groningen Maillage de surfaces implicites avec topologie certifiée Résumé : Nous décrivons un nouvel algori...
متن کاملCalcul effectif de la topologie de courbes et surfaces algébriques réelles. (On the Computation of The Topology of Real Algebraic Curves and Surfaces)
In this thesis, we got interested into the Effective Computation of the Topology of Real Algebraic Curves and Surfaces. One can distinguish three main new algorithms in the field of shape representation. Our first algorithm is a certified symbolic-numerical based on sub-resultants properties and computes the topology of a plane algebraic curve with the best known complexity. The second algorith...
متن کاملOn the isotopic meshing of an algebraic implicit surface
We present a new and complete algorithm for computing the topology of an algebraic surface S given by a squarefree polynomial in ◗[X,Y, Z]. Our algorithm involves only subresultant computations and entirely relies on rational manipulation, which makes it direct to implement. We extend the work in [15], on the topology of non-reduced algebraic space curves, and apply it to the polar curve or app...
متن کاملInteractive Visualization of Implicit Surfaces with Singularities
This paper presents work on two methods for interactive visualization of implicit surfaces: physically-based sampling using particle systems and polygonization followed by physically-based mesh improvement which explicitly makes use of the surface-defining equation. While most previous work applied to bounded manifolds without singularities and without boundary (topological spheres) we broaden ...
متن کامل